$\forall$$i$:Id, $A$:MsgA, $M$:System. ($M$($i$) $\Vert\!+$ $A$) $\Rightarrow$ $M$ $\parallel$ @$i$: $A$